155 research outputs found

    Efficient Type Checking for Path Polymorphism

    Get PDF
    A type system combining type application, constants as types, union types (associative, commutative and idempotent) and recursive types has recently been proposed for statically typing path polymorphism, the ability to define functions that can operate uniformly over recursively specified applicative data structures. A typical pattern such functions resort to is dataterm{x}{y} which decomposes a compound, in other words any applicative tree structure, into its parts. We study type-checking for this type system in two stages. First we propose algorithms for checking type equivalence and subtyping based on coinductive characterizations of those relations. We then formulate a syntax-directed presentation and prove its equivalence with the original one. This yields a type-checking algorithm which unfortunately has exponential time complexity in the worst case. A second algorithm is then proposed, based on automata techniques, which yields a polynomial-time type-checking algorithm

    Bryophytes of Europe Traits (BET) dataset: a fundamental tool for ecological studies

    Get PDF
    Bryophytes are a diverse group of organisms with unique properties, yet they are severely underrepresented in plant trait databases. Building on the recently published European Red List of bryophytes and previous trait compilations, we present the Bryophytes of Europe Traits (BET) data set, including biological traits such as those related to life history, growth habit, sexual and vegetative reproduction; ecological traits such as indicator values, substrate and habitat; and bioclimatic variables based on the species' European range. The data set includes values for 65 traits and 25 bio-climatic variables, containing more than 135,000 trait values with a completeness of 82.7% on average. The data set will enable future studies in bryophyte biology, ecology and conservation, and may help to answer fundamental questions in bryology.info:eu-repo/semantics/publishedVersio

    Pitfalls in assessing stromal tumor infiltrating lymphocytes (sTILs) in breast cancer

    Get PDF
    Stromal tumor-infiltrating lymphocytes (sTILs) are important prognostic and predictive biomarkers in triple-negative (TNBC) and HER2-positive breast cancer. Incorporating sTILs into clinical practice necessitates reproducible assessment. Previously developed standardized scoring guidelines have been widely embraced by the clinical and research communities. We evaluated sources of variability in sTIL assessment by pathologists in three previous sTIL ring studies. We identify common challenges and evaluate impact of discrepancies on outcome estimates in early TNBC using a newly-developed prognostic tool. Discordant sTIL assessment is driven by heterogeneity in lymphocyte distribution. Additional factors include: technical slide-related issues; scoring outside the tumor boundary; tumors with minimal assessable stroma; including lymphocytes associated with other structures; and including other inflammatory cells. Small variations in sTIL assessment modestly alter risk estimation in early TNBC but have the potential to affect treatment selection if cutpoints are employed. Scoring and averaging multiple areas, as well as use of reference images, improve consistency of sTIL evaluation. Moreover, to assist in avoiding the pitfalls identified in this analysis, we developed an educational resource available at www.tilsinbreastcancer.org/pitfalls.Stromal tumor-infiltrating lymphocytes (sTILs) are important prognostic and predictive biomarkers in triple-negative (TNBC) and HER2-positive breast cancer. Incorporating sTILs into clinical practice necessitates reproducible assessment. Previously developed standardized scoring guidelines have been widely embraced by the clinical and research communities. We evaluated sources of variability in sTIL assessment by pathologists in three previous sTIL ring studies. We identify common challenges and evaluate impact of discrepancies on outcome estimates in early TNBC using a newly-developed prognostic tool. Discordant sTIL assessment is driven by heterogeneity in lymphocyte distribution. Additional factors include: technical slide-related issues; scoring outside the tumor boundary; tumors with minimal assessable stroma; including lymphocytes associated with other structures; and including other inflammatory cells. Small variations in sTIL assessment modestly alter risk estimation in early TNBC but have the potential to affect treatment selection if cutpoints are employed. Scoring and averaging multiple areas, as well as use of reference images, improve consistency of sTIL evaluation. Moreover, to assist in avoiding the pitfalls identified in this analysis, we developed an educational resource available at www.tilsinbreastcancer.org/pitfalls.Peer reviewe

    Optimal Afforestation Contracts with Asymmetric Information on Private Environmental Benefits

    Full text link

    On Coalition Formation with Heterogeneous Agents

    Full text link

    Assessing the Effectiveness of Tradable Landuse Rights for Biodiversity Conservation: An Application to Canada's Boreal Mixedwood Forest

    Full text link

    Interactions Between Climate and Trade Policies: A Survey

    Full text link

    A Meta-Analysis of the Willingness to Pay for Reductions in Pesticide Risk Exposure

    Full text link
    corecore